The Implementation of a Deductive
نویسندگان
چکیده
The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by deening an imperative programming language , ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement of deductive methods (predicates) within classes; encapsulation; overriding and late binding. This paper describes the task of implementing an evaluator and optimizer for ROLL, explaining how existing implementation techniques for deductive languages were adapted to meet these requirements and extended to support novel types of optimization. a a Accepted for publication in: Proc. 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD'95)
منابع مشابه
The survey of effective factors on Strategic human resource planning Implementation in National Iranian Oil Products Distribution Company (N.I.O.P.D.C)
The main pupose of this research is to survey of effective factors on Strategic human resource planning Implementation in National Iranian Oil Products Distribution Company (N.I.O.P.D.C). In order to this survey, lee & Gough & Moses & Sinelane theories and for survey of effective factors on HR, Stainer and Christopher theories have been used with ten phrases as theorical framework.Statistical ...
متن کاملCriticism of General Dentistry Curriculum in Line with Accountable and Justice-Oriented Education Package
Introduction: Curriculum revision is the basis and a necessity for development of education. The goal of General Dentistry curriculum is to train dentists with minimum expected competencies. Considering the importance of this field in promoting society’s health, this study was carried out in Isfahan University of Medical Sciences in 2017 with the purpose of criticizing the general dentistry cur...
متن کاملConsciousness-raising tasks versus deductive approach: two form-focused instruction types in teaching grammar to Iranian high school EFL learners
Consciousness-raising (CR) task is a new way of teaching grammar developed in communicative contexts although little has been written on the effectiveness of CR tasks in EFL setting. The present study is an attempt to investigate the impact of CR tasks in Iranian EFL setting by comparing them with deductive, grammar lessons common in the Iranian schools. The subjects of this study were 80 EFL p...
متن کاملEvaluating the Effectiveness of Deductive and Inductive Form-Focused In-struction on Iranian EFL Learners' Implicit and Explicit Knowledge of Non-Generic Definite Article
This study investigated the relative effects of deductive and inductive form-focused instruction (FFI) on the acquisition of 4 non-generic definite article uses(cultural, situational, structural, and textual) as assessed by explicit and implicit outcome measures. The tests utilized to assess EFL learners' acquisition of definite article uses were timed and untimed grammaticality judgment tests....
متن کاملTowards the Design and Implementation of a Multilevel Secure Deductive Database Management System
In this paper we describe a preliminary design and implementation of a multilevel secure deductive database management system (MLSIDEDBMS). In particular, logic as a dara model for multilevel databases, reasoning across security levels, architectural issues for an MLSIDEDBMS, and a prototype implementation are discussed.
متن کاملImplementation Alternatives for Bottom-Up Evaluation
Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDmagic that ensures that only facts relevant for the query can be derived. Then bottomup evaluation simply performs the iteration of the standard TP -operator to compute the minimal model. However, there are different ways to imp...
متن کامل